$\forall$$b$:$\mathbb{B}$. ($b$ = ($\neg_{b}$$b$)) $\Leftarrow\!\Rightarrow$ False